3

Satisfiability modulo theories : introduction and applications

Year:
2011
Language:
english
File:
PDF, 443 KB
english, 2011
8

Justifying Equality

Year:
2005
Language:
english
File:
PDF, 311 KB
english, 2005
11

Adaptive forecasting of exchange rates with panel data

Year:
2013
Language:
english
File:
PDF, 1.09 MB
english, 2013
18

When Software Impacts the Economy and Environment

Year:
2016
Language:
english
File:
PDF, 1.68 MB
english, 2016
38

The spider environment

Year:
1999
Language:
english
File:
PDF, 281 KB
english, 1999
40

Model-based Theory Combination

Year:
2008
Language:
english
File:
PDF, 314 KB
english, 2008